((v1 v4 9) (v4 v2 5) (v3 v1 0) (v3 v2 7))
31
((v3 v2) (v2 v4))